RésuméL'analyse non‐standard fournit une base solide à la théorie des infinitésimaux. L'approche axiomatique qu'en donne Nelson est basée sur un nouveau predicat qui est ajouté au langage de la théorie usuelle des ensembles. Nous interprétons ce prédicat et formulons les axio‐mes de Nelson ?on;une façon qui peut être comparee à la discussion de P. R. Halmos dans son livre Naïve Set Theory .SummaryNon‐standard analysis gives a proper foundation to the theory of infinitesimals. Nelson's axiomatic approach of it uses a new (...) predicate which is added to the classical language of set theory. We interpret this new predicate and formulate Nelson's axioms in a way that can be compared to P. R. Halmos' discussion of set axioms in his book Naïve Set Theory .ZusammenfassungDie nicht‐standard Analyse liefert eine solide Grundlage für die Theorie der infinitesimalen Grössen. Die von Nelson vorgeschlagene Axiomatisierung beruht auf einem neuen Prädikat, das den in der Sprache der Mengentheorie üblichen hinzugefügt wird. Wir interpretieren dieses Prädikat und formulieren Nelsons Axiome auf eine Art, die mit der Diskus‐sion von P.R. Halmos in Naïve Set Theory verglichen werden kann. (shrink)

Articles on the relevance of Islam and a comparative look with European philosophy in the contemporary world.

Rebuts an objection David Velleman has raised against what he calls “the standard story of human action.” It is argued that the objection is misguided. The chapter reinforces the significance of various aspects of the causal theory of human agency developed in this book and shows more fully and explicitly how that theory applies to the upper range of human action, or what may be regarded as human action par excellence.

Si le développement du web a rendu accessibles des masses de données numériques, facilitant la collecte de textes et le développement de corpus, il a également donné naissance à de nouveaux genres qui défient les représentations, les méthodes et les grilles d’analyses développées jusqu’à présent. Ainsi a-t-on vu apparaître des corpus assez éloignés des premiers corpus écrits traditionnels, regroupés sous la bannière de la CMR (Communication Médiée par les Réseaux / Computer-Mediated Communica...

Employing techniques based on those of Gentzen, the author formulates a number of systems of propositional and quantificational logic as calculi of Sequenzen. Syntactical material concerning these systems is presented in great detail, and the problem of decision is discussed for those cases in which a positive result is obtainable--R. H. T.

The Latin text of an important contribution to Medieval logic. This volume contains Ockham's treatment of the proposition and the syllogism.--R. H.